 T
  where
   S = 0 fby T;
   T = if X > 0 then S + X else 0 fi;
  end;
